Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
151	Microsoft Word - IJDLS.doc Add to Reading List Source URL: wing.comp.nus.edu.sg Language: English Formal languages Machine learning Open formats Pattern matching Markup languages Comparison of optical character recognition software Optical character recognition HTML element Diff utility Statistical classification SCRIPT Portable Document Format
152	Leaving the Nest: Nominal techniques for variables with interleaving scopes Murdoch J. Gabbay1 , Dan R. Ghica2 , and Daniela Petrişan3 1 2 3 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-06-27 12:59:58 Semigroup theory Category theory Functional programming Formal languages Free monoid Monoid Net NC Equivalence relation Sequence Monad Ordinal number
153	Formal Methods for XML: Algorithms & Complexity S. Margherita di Pula SeptemberThomas Schwentick Add to Reading List Source URL: edbtss04.dia.uniroma3.it Language: English - Date: 2004-09-14 11:37:07 Markup languages Functional languages Query languages Transformation languages XQuery XSLT XPath XML schema XSL
154	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:03 Logic programming Filter theory Logic in computer science Knowledge representation Formal languages Situation calculus Fluent Well-formed formula FO Filter Frame problem Linear temporal logic
155	Assignment 6 L445 / L545 / B659 Due Thursday, MarchUsing sectionas a help and using what you know about English pronouns, write out all the CFG rules you need to capture the following sentences, where * in Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-03-29 20:14:48 Formal languages CYK algorithm Top-down parsing Earley parser Cyk Parsing Left recursion Chomsky normal form Algorithm
156	Introduction Dependency Grammar Dependency Parsing Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-16 18:57:30 Natural language parsing Syntax Formal languages Parsing Compiler construction Deterministic parsing Treebank Dependency grammar Chart parser Discontinuity Link grammar Phrase structure grammar
157	WExEd - WebALT Exercise Editor for Multilingual Mathematics Exercises Arjeh Cohen? Hans Cuypers? Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2005-12-08 03:02:19 Mathematical markup languages Markup languages OpenMath Exercise Natural language generation Formula editor Sentence Formal language
158	How to improve disambiguation in POS tagged data with CLaRK sys Add to Reading List Source URL: bultreebank.org Language: English - Date: 2003-12-07 17:04:29 Formal languages Lexical analysis Syntax Formal grammar Regular expression Phrase Regular grammar XPath
159	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Hardware description languages Synchronous programming languages Model checkers Formal methods Timed automaton Esterel Model checking Uppaal Model Checker SIGNAL
160	Scrap Your Boilerplate with Object Algebras Haoyuan Zhang Zewei Chu Bruno C. d. S. Oliveira Tijs van der Storm Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2015-10-19 03:28:23 Semigroup theory Java Combinatorics on words Object-oriented programming languages Formal languages Boilerplate code String Java annotation Monoid Closure Tree traversal Constructor

UPDATE